ABYSS: an architecture for software protection - Software Engineering, IEEE Transactions on
نویسنده
چکیده
Absrracr-ABYSS (A Basic Yorktown Security System) is an architecture for protecting the execution of application software. It supports a uniform security service across the range of computing systems. The use of ABYSS discussed in this paper is oriented towards solving the software protection problem, especially in the lower end of the market. Both current and planned software distribution channels are supportable by the architecture, and the system is nearly transparent to legitimate users. A novel use-once authorization mechanism, called a token, is introduced as a solution to the problem of providing authorizations without direct communication. Software vendors may use the system to obtain technical enforcement of virtually any terms and conditions of the sale of their software, including such things as rental software. Software may be transferred between systems, and backed up to guard against loss in case of failure. We discuss the prohlem of protecting software on these systems, and offer guidelines to its solution.
منابع مشابه
Search Based Software Engineering: Introduction to the Special Issue of the IEEE Transactions on Software Engineering
متن کامل
Eecient Interprocedural Array Data--ow Analysis for Automatic Program Parallelization Accepted to Ieee Transactions on Software Engineering, the Special Issue on Architecture-independent Lan- Guages and Software Tools for Parallel Processing
Since sequential languages such as Fortran and C are more machine-independent than current parallel languages, it is highly desirable to develop powerful parallelization tools which can generate parallel codes, automatically or semi-automatically, targeting diierent parallel architectures. Array data-ow analysis is known to be crucial to the success of automatic parallelization. Such an analysi...
متن کاملResponse to "Comments on 'Formal Methods Application: An Empirical Tale of Software Development'"
We respond to criticism by D. Berry and W. Tichy of our paper that appeared in the March 2002 issue of IEEE Transactions on Software Engineering. Many of the supposed faults they identify in our experiment are a result of a misunderstanding on their part, while others are inherent aspects of an educational experiment. We present counterarguments that explain why our experiment is valid.
متن کامل[12] Korel B., PELAS- Program Error Locating Assistant System, IEEE Transactions on Software Engineering,
Example of the session with the FORMAN/PASCAL assertion checker prototype .
متن کاملNeural Network Based Protection of Software Defined Network Controller against Distributed Denial of Service Attacks
Software Defined Network (SDN) is a new architecture for network management and its main concept is centralizing network management in the network control level that has an overview of the network and determines the forwarding rules for switches and routers (the data level). Although this centralized control is the main advantage of SDN, it is also a single point of failure. If this main contro...
متن کامل